Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων
1
Spacecraft thermal control

Spacecraft thermal control

Έτος:
2012
Γλώσσα:
english
Αρχείο:
PDF, 4.33 MB
0 / 0
english, 2012
2
Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

Set Theory in Computer Science - A Gentle Introduction to Mathematical Modeling I

Γλώσσα:
english
Αρχείο:
PDF, 2.32 MB
0 / 0
english
5
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Έτος:
2014
Γλώσσα:
english
Αρχείο:
PDF, 12.54 MB
0 / 0
english, 2014
6
Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Έτος:
1999
Γλώσσα:
english
Αρχείο:
PDF, 9.86 MB
0 / 4.0
english, 1999
7
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 5.22 MB
0 / 0
english, 2006
16
Dynamic Worlds: From the Frame Problem to Knowledge Management

Dynamic Worlds: From the Frame Problem to Knowledge Management

Έτος:
1999
Γλώσσα:
english
Αρχείο:
DJVU, 2.64 MB
0 / 0
english, 1999
18
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 8.02 MB
0 / 0
english, 2006
23
LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Έτος:
2008
Γλώσσα:
spanish
Αρχείο:
AZW3 , 3.87 MB
0 / 0
spanish, 2008
26
LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Έτος:
2008
Γλώσσα:
spanish
Αρχείο:
MOBI , 3.31 MB
0 / 0
spanish, 2008
27
LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

LNCS 4350 - All About Maude - A High-Performance Logical Framework (Frontmatter Pages)

Έτος:
2008
Γλώσσα:
spanish
Αρχείο:
FB2 , 5.53 MB
0 / 0
spanish, 2008
29
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 11.23 MB
0 / 0
english, 2019
30
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 15.97 MB
0 / 0
english, 2021
31
Handbook of Philosophical Logic

Handbook of Philosophical Logic

Έτος:
2002
Γλώσσα:
english
Αρχείο:
PDF, 10.14 MB
0 / 0
english, 2002
32
Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 10.29 MB
0 / 0
english, 2000
34
Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

Έτος:
2000
Γλώσσα:
english
Αρχείο:
DJVU, 3.20 MB
0 / 0
english, 2000
36
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows

Έτος:
2019
Γλώσσα:
english
Αρχείο:
EPUB, 17.74 MB
0 / 0
english, 2019